/*
自己选择的路 ,跪着也要走完。朋友们 , 虽然这个世界日益浮躁起来,只
要能够为了当时纯粹的梦想和感动坚持努力下去 , 不管其它人怎么样,我
们也能够保持自己的本色走下去。
To the world , you will be a person , but to a person , you
will be the world .                               ——AKPower
*/
#include <iostream>
#include <cmath>
#include <algorithm>
#include <cstring>
#include <vector>
#include <map>
#include <queue>
#include <cstdio>
#include <string>
#include <stack>
#include <set>
#define IOS ios::sync_with_stdio(false), cin.tie(0)
using namespace std;
typedef long long ll;
ll team[3000],ch[200];
ll suc[200];
int main()
{
    IOS;
    ll s,t,m,id,q,p;
    ll Case=1;
    while(cin>>s>>t>>m){
        if(s==0&&t==0&&m==0)break;
        memset(ch,0,sizeof(ch));
        memset(suc,0,sizeof(suc));
        ll ans=0;
        for(ll i=1;i<=s;i++){
            cin>>id>>q>>p;
            suc[id]+=p+q;
        }
        ll sid,tot;
        for(ll i=1;i<=t;i++){
            cin>>sid>>tot;
            if(ch[sid]>=3)continue;
            if(tot>=m){
                ans++;
                ch[sid]++;   
            }
            else {
                if(suc[sid]){
                    ans++;
                    ch[sid]++;
                    suc[sid]--;
                }
            }
            // if(ch[sid]<3){
            //     if(tot>=m||suc[sid]){
            //         ans++;
            //         ch[sid]++;
            //         cout<<i<<"enter"<<endl;
            //     }
            // }
        }
        // for(ll i=1;i<=s;i++){
        //     if(suc[i]&&ch[i]<3){
        //         ans+=(3-ch[i]);
        //     }
        // }
        cout<<"Case "<<Case++<<": "<<ans<<endl;
    }
    getchar();
    getchar();
    return 0;
}
